- original inference
- первоначальный вывод
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Supporting Banpresto original characters — This is a list of original characters created by Banpresto that serve in supporting roles to major protagonists or antagonists in the Super Robot Wars games. EarthlingsAdler KochAdler Koch is a fictional character in the Super Robot Wars series.… … Wikipedia
Bayesian inference in phylogeny — generates a posterior distribution for a parameter, composed of a phylogenetic tree and a model of evolution, based on the prior for that parameter and the likelihood of the data, generated by a multiple alignment. The Bayesian approach has… … Wikipedia
Strong inference — is a model of scientific inquiry developed by John R. Platt. [cite journal|journal=Science|volume=146|issue=3642|year=1964|title=Strong inference|author=John R. Platt|url=http://256.com/gray/docs/strong inference.html] Platt notes that certain… … Wikipedia
Constraint inference — In constraint satisfaction, constraint inference is a relationship between constraints and their consequences. A set of constraints D entails a constraint C if every solution to D is also a solution to C. In other words, if V is a valuation of… … Wikipedia
Banpresto Original Characters — This is a list of original characters from the various multimedia created by Banpresto. The characters listed in that work represents their debut appearance; all works are listed in alphabetical order. NOTOC 2nd Super Robot Wars* Bian Zoldark *… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
History of logic — Philosophy ( … Wikipedia
Charles Sanders Peirce — B … Wikipedia